MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 20-Nov-96 18:57:33 GMT
Content-Type: text/html
Content-Length: 6063
Last-Modified: Tuesday, 15-Oct-96 23:38:41 GMT

<html>
<head>
<title>Faculty Research Interests : Greg Morrisett </title>
</head>

<body>
<h1> Greg Morrisett </h1>
<i>
<dl>
<dt> jgm@cs.cornell.edu
<dt> Assistant Professor of <!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.cornell.edu">Computer Science</a>
<dt> <!WA1><!WA1><!WA1><!WA1><a href="http://www.cornell.edu">Cornell University</a>
<dt> Ithaca, NY  14853-7501
<dt> Office: 4105C Upson Hall
<dt> Office phone: (607) 255-3009
</dl>
</i>

<h3> Table of Contents </h3>
<ul>
<li><!WA2><!WA2><!WA2><!WA2><A HREF="#Research">Research Interests</A>
<li><!WA3><!WA3><!WA3><!WA3><A HREF="#Teaching">Teaching</a>
<li><!WA4><!WA4><!WA4><!WA4><A HREF="#Papers">Selected Papers</A>
<li><!WA5><!WA5><!WA5><!WA5><A HREF="#Links">Related Research Links</A>
<li><!WA6><!WA6><!WA6><!WA6><A HREF="#Personal">Personal Information</a>
</ul>

<A NAME = "Research">
<H3>Research Interests</H3>

<p>
My primary research interests are in the development and use of
advanced programming languages.  I am particularly interested
in the use of high-level languages, such as Standard ML, for
building systems software, including run-time systems, operating
systems, and distributed systems.  Lately, I have focused on
the implementation issues that have kept high-level, safe
languages from being used in the construction of systems software.
To this end, my research has concentrated on producing code for high-level 
languages that is faster, consumes less memory, and supports
"hacking with the bits".  
<p>
I am also interested in bringing powerful, semantics-based tools
from programming language theory, such as type-directed compilation,
partial evaluation, abstract interpretation, and run-time code generation,
into the design, specification, and construction of real systems
software.  
<p>

<a name = "Teaching">
<H3>Teaching</h3>
<ul>
<li><!WA7><!WA7><!WA7><!WA7><a href="http://www-local.cs.cornell.edu/Info/Courses/Fall-96/CS611/home.html">CS 611:</a> Semantics of Programming Languages (Fall 1996) 
<li><!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS512/home.html">
CS 512:</a>  Advanced Language Implementation (Spring 1996)
</ul>

<A NAME = "Papers">
<H3>Selected Papers</H3>

<MENU>
<li><!WA9><!WA9><!WA9><!WA9><a href="ftp://reports.adm.cs.cmu.edu/usr/anon/1996/CMU-CS-96-176.ps">
Semantics of Memory Management for Polymorphic Languages</a>,
<i> Greg Morrisett and Robert Harper</i>,  
CMU Technical Report CMU-CS-96-176 [Also appears as CMU-CS-FOX-96-04],
September, 1996.

<li> <!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/thesis_ps.zip">Compiling with Types</a>, 
<i>Greg Morrisett</i>, (gzipped postscript), Ph.D. Thesis, 
Published as CMU Technical Report CMU-CS-95-226, December, 1995.

<li> <!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/pldi96.ps">TIL: A Type-Directed Optimizing 
Compiler for ML</a>,
<i>D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee</i>,
1996 SIGPLAN Conference on Programming Language Design and Implementation.

<li><!WA12><!WA12><!WA12><!WA12><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/wcsss.ps">The TIL/ML Compiler:  Performance and Safety
Through Types</a>,
<i>G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, P. Lee</i>,
1996 Workshop on Compiler Support for Systems Software.

<li> <!WA13><!WA13><!WA13><!WA13><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/closure-summary.ps">Typed Closure Conversion </a>,
<i> Yasuhiko Minamide, Greg Morrisett, and Robert Harper </i>,
To appear in the 1996 Symposium on Principles of Programming Languages.
Extended version published as CMU Technical Report
<!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/closure.ps"> CMU-CS-FOX-95-05</a> , July 1995.

<li> <!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/fpca_gc.ps"> Abstract Models of Memory Management</a>,
(<!WA16><!WA16><!WA16><!WA16><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/fpca_gc.dvi">dvi version</a>)
<i> Greg Morrisett, Matthias Felleisen, and Robert Harper</i>,
 1995 Conf. on Functional Programming Languages and
Computer Architecture.  Extended version published as CMU Technical Report
<!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/gc-tr.ps">CMU-CS-95-110</a>, (<!WA18><!WA18><!WA18><!WA18><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/gc_tr.dvi">dvi version</a>) also as CMU Fox Note
CMU-CS-95-01.  

<LI> <!WA19><!WA19><!WA19><!WA19><a href="http://www.cs.cornell.edu/Info/People/jgm/papers/ip-popl.ps"> Compiling Polymorphism Using Intensional
Type Analysis</a>, <i>Robert Harper and Greg Morrisett</i> 
Proc. of the 22nd Annual ACM Symposium on 
Principles of Programming Languages, San Francisco,
January 1995.

<li><!WA20><!WA20><!WA20><!WA20><a HREF="http://www.cs.cornell.edu/Info/People/jgm/papers/opt-par.ps">Optimistic Parallelization</a>
<i>Greg Morrisett and Maurice Herlihy.</i>
CMU-CS-93-171, October 1993.

<LI> <!WA21><!WA21><!WA21><!WA21><A HREF="http://www.cs.cornell.edu/Info/People/jgm/papers/jgmorris-callcs.ps"> Refining First-Class Stores</A>, <I>J. Gregory Morrisett,</I> Proceedings of the ACM SIGPLAN Workshop on State in Programming Languages, Copenhagen, Denmark, June 1993.

<LI> <!WA22><!WA22><!WA22><!WA22><A HREF="http://www.cs.cornell.edu/Info/People/jgm/papers/jgmorris-ppopp.ps"> Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey</A>, <I>J. Gregory Morrisett and Andrew Tolmach,</I> Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, May 1993.

<LI> <!WA23><!WA23><!WA23><!WA23><A HREF="http://www.cs.cornell.edu/Info/People/jgm/papers/jgmorris-mp.ps"> A Portable Multiprocessing Interface for Standard ML of New Jersey</A>, <I>J. Gregory Morrisett and Andrew Tolmach,</I> CMU-CS-92-155, June 1992.  Also appears as a Princeton TR.

<LI> <!WA24><!WA24><!WA24><!WA24><A HREF="http://www.cs.cornell.edu/Info/People/jgm/papers/jgmorris-mlthreads.ps"> Adding Threads to Standard ML</A>, <I>Eric Cooper and J. Gregory Morrisett,</I> CMU-CS-90-186, 
December 1990.
</menu>


<P>
<A NAME = "Links">
<h3> Related Research Links: </h3>
<menu>
<li> Mark Leone's <!WA25><!WA25><!WA25><!WA25><a href="http://foxnet.cs.cmu.edu/people/mleone/language-research.html">Resources for Programming Language Research</a>.

<li> I used to be a member of the <!WA26><!WA26><!WA26><!WA26><a href="http://foxnet.cs.cmu.edu">Fox Project</a> at <!WA27><!WA27><!WA27><!WA27><a href="http://www.cs.cmu.edu">Carnegie Mellon</a>.

<li>On-line information about <!WA28><!WA28><!WA28><!WA28><a href="http://foxnet.cs.cmu.edu/sml.html">Standard ML</a>.

<li>Home pages of 
<!WA29><!WA29><!WA29><!WA29><a href="http://foxnet.cs.cmu.edu/people/mleone/language-people.html">
researchers in programming languages</a>.

<li>Home pages of 
<!WA30><!WA30><!WA30><!WA30><a href="http://foxnet.cs.cmu.edu/people/mleone/projects.html">
research projects in programming languages</a>.

<li>Programming-language oriented 
<!WA31><!WA31><!WA31><!WA31><a href="http://foxnet.cs.cmu.edu/people/mleone/bibliogrphies.html">
bibliographies</a>.

<li><!WA32><!WA32><!WA32><!WA32><a href="http://www.cs.cornell.edu">Cornell Department of Computer Science
</a>

</menu>

<A NAME = "Personal">
<H3>Personal Information</H3>

<p>
Home Address:
<i>
<dl>
<dt> 544 Warren Road #4
<dt> Ithaca, NY  14850
<dt> phone: (607) 257-3211
</dl>
</i>


</body>
